Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
561	Towards a Strategy Language for Describing Proofs Alan Bundy University of Edinburgh AI4FM Kick-off Meeting Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Logic IsaPlanner Mathematical proof Proof theory Nqthm Automated theorem proving Mathematics Rippling
562	A Exponential Lower Bounds for AC0 -Frege Imply Superpolynomial Frege Lower Bounds YUVAL FILMUS and TONIANN PITASSI, University of Toronto RAHUL SANTHANAM, University of Edinburgh Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-04-05 15:13:04 Computational complexity theory Logic in computer science Mathematical logic Proof theory Automated theorem proving Frege system Proof complexity Function Switching lemma Theoretical computer science Mathematics Logic
563	Basing Non-Interactive Zero-Knowledge on (Enhanced) Trapdoor Permutations: The State of the art Oded Goldreich Abstract. The purpose of this article is to correct the inaccurate account of this subject that is provided Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2010-07-22 08:07:12 Cryptographic protocols Computational complexity theory Proof theory Complexity classes Combinatorics Interactive proof system IP Soundness Non-interactive zero-knowledge proof Theoretical computer science Cryptography Applied mathematics
564	Microsoft PowerPoint - 2_60_scoring_r1.pptx Add to Reading List Source URL: sk8stuff.com Language: English - Date: 2012-06-29 07:07:20 6.0 system Mathematics Constructible universe Monarchical ordinal Proof theory Ordinal numbers Mathematical logic Figure skating
565	Egon Borger Erich Gradel Yuri Gurevich The Classical Decision Problem Add to Reading List Source URL: www.gbv.de Language: English - Date: 2007-11-05 08:28:23 Computability theory Model theory Complexity classes Metalogic Proof theory Decision problem Decidability Satisfiability First-order logic Theoretical computer science Computational complexity theory Mathematical logic
566	Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?∗ Hirotada Kobayashia b † Keiji Matsumotoa b ‡ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2009-07-17 07:53:04 Quantum complexity theory Quantum information science Models of computation QMA Interactive proof system PP IP Soundness Quantum computer Theoretical computer science Applied mathematics Computational complexity theory
567	Interactive proofs with efficient quantum prover for recursive Fourier sampling Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-09-21 16:35:50 Computational complexity theory Interactive proof system IP Quantum algorithm BQP Quantum computer PP NP Soundness Theoretical computer science Applied mathematics Quantum complexity theory
568	Double Negation Translations as Morphisms Fr´ed´eric Gilbert1 and Olivier Hermant2 1 2 Ecole des Ponts ParisTech, Inria Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 11:05:12 Deduction Logic in computer science Propositional calculus Entailment Metalogic Sequent calculus Intuitionistic logic Symbol Natural deduction Logic Mathematical logic Proof theory
569	Truthcoin Trustless, Decentralized, Censorship-Proof, Incentive-Compatible, Scalable Cryptocurrency Prediction Marketplace Paul Sztorc1 https://github.com/psztorc/Truthcoin Add to Reading List Source URL: www.truthcoin.info Language: English - Date: 2015-05-15 14:56:11 Ethics Psephology Bitcoin Peer-to-peer computing Political philosophy Approval voting Electronic voting Prediction market Voting system Public choice theory Sociology Single winner electoral systems
570	Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Berger, Martin and Tratt, LaurenceProgram logics for Add to Reading List Source URL: eprints.mdx.ac.uk Language: English - Date: 2015-04-30 10:24:49 Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Type theory Lambda calculus Model theory Modal logic Logic Theoretical computer science Mathematical logic

UPDATE